Fix workspaceSwitcherPopup

The check in WindowManager._showWorkspaceSwitcher is supposed
to check if the overview is _not_ visible.

Fix that.

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index eb3db1b9d72f4fa2474269aa2c44417ac0fa9097..ad8b21ed44a8300a884f0f8605ad5c9a1860f55d 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -315,7 +315,7 @@ WindowManager.prototype = {
         if (global.screen.n_workspaces == 1)
             return;
 
-        if (this._workspaceSwitcherPopup == null && Main.overview.visible)
+        if (this._workspaceSwitcherPopup == null && !Main.overview.visible)
             this._workspaceSwitcherPopup = new WorkspaceSwitcherPopup.WorkspaceSwitcherPopup();
 
         if (binding == "switch_to_workspace_left") {